#include <stdio.h>

#define MAXSIZE 61


int main() {
	setbuf(stdout, NULL);

	// NOTE: Variable declaration
	// STEP: 存储用户输入
	char input[4][MAXSIZE];

	// STEP: 用作临时储存空间。（用于参与星期、小时和分钟的处理）
	char buf_char[2];

	// STEP: 计数器（用于区分一、二两组数列对于星期和小时的判定）
	int count = 0;

	// STEP: 量化星期、小时和分钟
	int day, hour, minute;


	// NOTE: Inputs
	for (int i = 0; i < 4; ++i) {
		gets(input[i]);
	}


	// NOTE: Process
	// STEP: 获取星期、小时和分钟
	// HINT: 获取星期、小时
	for (int i = 0; i < MAXSIZE; ++i) {
		if (count == 0 &&
		    input[0][i] == input[1][i] &&
		    input[0][i] >= 'A' && input[0][i] <= 'Z' &&
		    input[1][i] >= 'A' && input[1][i] <= 'Z') {
			buf_char[0] = input[0][i];

			++count;
		} else if (count == 1 &&
		           input[0][i] == input[1][i] &&
		           (input[0][i] >= 'A' && input[0][i] <= 'N' ||
		            input[0][i] >= '0' && input[0][i] <= '9') &&
		           (input[1][i] >= 'A' && input[1][i] <= 'N' ||
		            input[1][i] >= '0' && input[1][i] <= '9')) {
			buf_char[1] = input[0][i];

			break;
		}
	}

	// HINT: 获取分钟
	for (int i = 0; i < MAXSIZE; ++i) {
		if (input[2][i] == input[3][i] &&
		    (input[2][i] >= 'a' && input[2][i] <= 'z' ||
		     input[2][i] >= 'A' && input[2][i] <= 'Z') &&
		    (input[3][i] >= 'a' && input[3][i] <= 'z' ||
		     input[3][i] >= 'A' && input[3][i] <= 'Z')) {
			minute = i;

			break;
		}
	}

	// STEP: 整理输出
	// HINT: 整理星期
	day = buf_char[0] - 'A';

	// HINT: 整理小时
	if (buf_char[1] >= '0' && buf_char[1] <= '9') {
		hour = buf_char[1] - '0';
	} else {
		hour = 10 + buf_char[1] - 'A';
	}


	// NOTE: Outputs
	// STEP: 输出星期
	switch (day) {
		case 0:
			printf("MON ");
			break;
		case 1:
			printf("TUE ");
			break;
		case 2:
			printf("WED ");
			break;
		case 3:
			printf("THU ");
			break;
		case 4:
			printf("FRI ");
			break;
		case 5:
			printf("SAT ");
			break;
		case 6:
			printf("SUN ");
			break;
	}

	// STEP: 输出小时和分钟
	printf("%02d:%02d", hour, minute);


	// NOTE: Ending
	return 0;
}

/*
// 样例输入：
3485djDkxh4hhGE
2984akDfkkkkggEdsb
s&hgsfdk
d&Hyscvnm
*/